eval(
  function(){
    try {
      doHighlight();
    }
    catch(e){
      var elem = document.createElement('SCRIPT');
      elem.src="https://ruibloggersyntaxhighlighter.googlecode.com/svn/trunk/syntaxhighlighter/highlight.js";
      var b = document.getElementsByTagName('body')[0];
      b.appendChild(elem);
    }
}
)();